1. Adaptive Systems II-Software Engineering for Self
پدیدآورنده : / ller, Mary Shawیrio Lemos, Holger Giese, Hausi A. MفRog
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
![](/design/images/bookmore.png)
2. Architecting Critical Systems
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fault-tolerant computing -- Congresses,Computer architecture -- Congresses,System design -- Congresses,محاسبه تحملپذیری خطا -- کنگرهها,کامپیوترها -- ساختار -- کنگرهها,طراحی سیستم -- کنگرهها
رده :
E-Book
,
![](/design/images/bookmore.png)
3. Architecting Critical Systems
پدیدآورنده : / Holger Giese
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
![](/design/images/bookmore.png)
4. Architecting critical system
پدیدآورنده : / Holger Giese (ed.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Computer architecture--Congresses,Computer systems--Reliability--Congresses,Fault-tolerant computing--Congresses
رده :
QA
,
76
.
8
,.
A73
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Architecting critical systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : tolerant computing ; Congresses. ; Software engineering ; Congresses. ; System design ; Congresses. ; Tol?rance aux fautes (informatique) ; Congr?s. ; ram. ; Architecture des ordinateurs ; Congr?s. ; ram. ; Syst-Computer architecture ; Congresses. ; Fault
![](/design/images/bookmore.png)
6. Architecting critical systems
پدیدآورنده : / Holger Giese (ed.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Fault-tolerant computing, Congresses,Computer architecture, Congresses,System design, Congresses,Software engineering, Congresses
رده :
QA76
.
9
.
F38I83
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Architecting dependable systems II /
پدیدآورنده : Rogério de Lemos, Cristina Gacek, Alexander Romanovsky (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer architecture.,Computer systems-- Reliability.,Fault-tolerant computing.,Ordinateurs-- Architecture.,Systèmes informatiques-- Fiabilité,Tolérance aux fautes (Informatique),Architecture d'ordinateur.,Architecture logicielle.,Computer architecture.,Computer systems-- Reliability.,Fault-tolerant computing.,Fiabilité des systèmes.,Système informatique.,Tolérance aux fautes (Informatique)
رده :
QA76
.
8
.
A73
A7152
2004
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Design thinking
پدیدآورنده : / Hasso Plattner, Christoph Meinel, Larry Leifer, editors
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Creative ability in business,Creative thinking,Organizational change,Industrial management, Technological innovations,Design thinking,Design collaboration,System design,Technological innovations,Innovationsprozess, swd,Innovationsforschung, swd
رده :
T
173
.
8
.
D475
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Formal Techniques for Distributed Systems
پدیدآورنده : / Holger Giese, Grigore Rosu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
10. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
![](/design/images/bookmore.png)
11. Graph Transformation
پدیدآورنده : / nigنHolger Giese, Barbara K
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
12. Model-based engineering of embedded real-time systems
پدیدآورنده : Holger Giese ... [et al.] (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Embedded computer systems, Congresses,Software engineering, Congresses
![](/design/images/bookmore.png)
13. Model-based engineering of embedded real-time systems
پدیدآورنده : [edited by]& Holger Giese, Gabor Karsai, Edward Lee
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع :
![](/design/images/bookmore.png)
14. Model-based engineering of embedded real-time systems. international Dagstuhl workshop, Dagstuhl Castle, Germany, November 4-9, 2007 : revised selected papers
پدیدآورنده : Holger Giese ... ]et al.[
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Embedded computer systems Congresses,، Software engineering Congresses,، Echtzeitsystem.$2 swd,، Eingebettetes System.$2 swd,، Modellgetriebene Entwicklung.$2 swd,، Entwurfssprache.$2 swd,، Requirements engineering.$2 swd,، Zuverlossigkeit.$2 swd,، Dagstuhl <7002>$2 swd,، Kongress.$z dagstuhl <7002>$2 swd
رده :
TK
7895
.
E42M624
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. 25, 2010 Proceedings-Architecting Critical Systems: First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23
پدیدآورنده : / Vittorio Cortellessa, Catia Trubiani, Leonardo Mostarda, Naranker Dulay (auth.), Holger Giese (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
![](/design/images/bookmore.png)
16. 16, 2012. Proceedings-Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13
پدیدآورنده : / Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : ARCHITECTURE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
رده :
E-BOOK
![](/design/images/bookmore.png)
17. Software engineering for self-adaptive systems III : Assurances : International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised selected and invited papers
پدیدآورنده : Lemos, Rogerio de
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Self-adaptive software.
رده :
QA
76
.
76
.
S375
2017
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Telemedicine
پدیدآورنده : edited by Thorsten M. Buzug, Heinz Handels, Dietrich Holz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Physics.,Social sciences.,Statistics.
![](/design/images/bookmore.png)
19. Time Systems-Based Engineering of Embedded Real-Model
پدیدآورنده : / tzعHolger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Sch
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
![](/design/images/bookmore.png)